Allow unknown NMIs to be propagated to domain0 via new
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 20 Dec 2005 16:55:20 +0000 (17:55 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 20 Dec 2005 16:55:20 +0000 (17:55 +0100)
commit34c31a402ca135af1a3c2a3daebdd8dc986fc97d
tree33258473d44d4a516c32b7d3f9abd33e1c303039
parent4cbd6b32721f71322fcb85153f131b2e1ba629e1
Allow unknown NMIs to be propagated to domain0 via new
VIRQ_NMI. Also simplify x86_32 NMI handling -- there's
no need to greedily consume IO/parity errors in
assembly code as they can be deferred without causing
an interrupt storm (the NMI pin is always edge-triggered
even though the sources are level-asserted).

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/traps.c
xen/arch/x86/vmx.c
xen/arch/x86/x86_32/entry.S
xen/arch/x86/x86_32/traps.c
xen/arch/x86/x86_64/entry.S
xen/include/public/xen.h
xen/include/xen/softirq.h